منابع مشابه
Sacks forcing, Laver forcing, and Martin's axiom
In this paper we study the question assuming MA+¬CH does Sacks forcing or Laver forcing collapse cardinals? We show that this question is equivalant to question of what is the additivity of Marczewski’s ideal s. We give a proof that it is consistent that Sacks forcing collapses cardinals. On the other hand we show that Laver forcing does not collapse cardinals. Introduction Let S be Sacks perfe...
متن کاملConsistency of V = HOD with the wholeness axiom
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {∈, j}, and that asserts the existence of a nontrivial elementary embedding j : V → V . The well-known inconsistency proofs are avoided by omitting from the schema all instances of Replacement for j-formulas. We show that the theory ZFC+ V = HOD+ WA is consistent relative to the existence ...
متن کاملLaver Sequences for Extendible and Super-Almost-Huge Cardinals
Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a reg...
متن کاملA New Large Cardinal and Laver Sequences for Extendibles
We define a new large cardinal axiom that fits between A3 and A4 in the hierarchy of axioms described in [SRK]. We use this new axiom to obtain a Laver sequence for extendible cardinals, improving the known large cardinal upper bound for the existence of such sequences.
متن کاملTHE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2000
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(99)00052-4